signature MACHINIZE_STRUCTS =
sig
  structure Cfg : CFG  
  structure Machine : MACHINE
  sharing Cfg.Atoms = Machine.Atoms
  sharing Cfg.Types = Machine.Types
end

signature MACHINIZE =
sig
  include MACHINIZE_STRUCTS
  
  val trans : Cfg.Program.t -> Machine.Program.t
end
